9581. Types for proofs and programs :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Automatic theorem proving, Congresses,Computer programming, Congresses

رده :
QA76
.
9
.
A96
T96
2000

9582. Types for proofs and programs :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Automatic theorem proving, Congresses,Computer programming, Congresses

رده :
QA76
.
9
.
A96
T96
2004

9583. Types for proofs and programs

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Automatic theorem proving--Congresses,Computer programming--Congresses

رده :
QA
,
76
.
9
,.
A96
,
T96
,
2000

9584. Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory

رده :
QA
76
.
L28
Vol
.
2277

9585. Types for proofs and programs : International Workshop, TYPES'99, Kloster Irsee Germany, March 27-31, 1999: selected papers

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory

رده :
QA
76
.
L28
Vol
.
1657

9586. Types for proofs and programs: International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999 : selected papers

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory

رده :
QA
76
.
L28
Vol
.
1956

9587. Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming

رده :
QA
76
.
L28
Vol
.
3085

9588. Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming

رده :
QA
76
.
L28
Vol
.
2646

9589. UCSD Pascal for the IBM PC

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : IBM- Personal computer- Programming,UCSD pascal (computer program language)

رده :
QA
،
76
.
8
،.
I2594
,
M33
،
1986

9590. UCSD Pascal for the IBM PC

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، IBM Personal Computer -- Programming,، UCSD Pascal )Computer program language(

رده :
QA
76
.
8
.
I2594
M33

9591. UML and C++

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Object-oriented programming (Computer science),Computer software- Development,C++ (Computer program language),UML (Computer science)

رده :
‭
QA76
.
64
‬ ‭.
L449
2006
‬

9592. UML and C++

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)

موضوع : Object-oriented programming (Computer science),Computer software- Development,C++ (Computer program language),UML (Computer science)

رده :
QA76
.
64
.
L449
2008

9593. UML and C++ :A Practical guide to Object - Oriented Development

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Object - Oriented Programming )Computer Science(,، Computer Software - Development,، C++ )Computer Program Language(

رده :
QA
76/64
/L45

9594. UML and C++: a practical guide to object development

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Object-oriented programming )Computer Science(,، Computer software-- Development,، C++ )Computer program language(

رده :
QA
76
.
64
.
L45
1997

9595. UML and C++ : a practical guide to object-oriented development

پدیدآورنده :

موضوع : ، Object-oriented programming )Computer science(,، Computer software -- Development,، C++ )Computer program language(,، UML )Computer science(

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

9596. UML and C++ : a practical guide to object-oriented development

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)

موضوع : ، Object-oriented programming )Computer science(,، Computer software - Development,، C++ )Computer program language(,، UML )Computer science(

رده :
QA
76
.
64
.
L45
2006

9597. UML and C++ :a practical guide to object-oriented development

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)

موضوع : ، Object-oriented programming )Computer science(,Development ، Computer software,، C++ )Computer program language(,، UML )Computer science(

رده :
QA
76
.
64
.
L449

9598. UML for the IT business analysta practical guide to object-oriented requirements gathering. ]CD[

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Object-oriented methods )Computer science(,، Object-oriented programming )Computer science(,، Electronic books

9599. UML gota a gota /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Object-oriented programming (Computer science),UML (Computer science),Software para computadora-- Desarrollo.,UML (Computación),Lenguajes de programación.,Object-oriented programming (Computer science),Programación orientada a objetos.,UML (Computer science),UML (Lenguaje de programación)

رده :
QA76
.
9O35
F6818

9600. UML 2. 0 in Action

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : oriented Programming (Computer Science) ; -Uml (Computer Science) ; Object